What is justice? Questions of justice are questions about what people are due. However, what that means in practice depends on the context in which the question is raised. Depending on context, the formal question of what people are due is answered by principles of desert, reciprocity, equality, or need. Justice, therefore, is a constellation of elements that exhibit a degree of integration and unity. Nonetheless, the integrity of justice is limited, in a way that is akin to the integrity of a neighborhood rather than that of a building. A theory of justice offers individuals a map of that neighborhood, within which they can explore just what elements amount to justice.

Libertarians often bill their theory as an alternative to both the traditional Left and Right. The Routledge Handbook of Libertarianism helps readers fully examine this alternative without preaching it to them, exploring the contours of libertarian (sometimes also called classical liberal) thinking on justice, institutions, interpersonal ethics, government, and political economy. The 31 chapters--all written specifically for this volume--are organized into five parts. Part I asks, what should libertarianism learn from other theories of justice, and what should defenders of other theories of justice learn from libertarianism? Part II asks, what are some of the deepest problems facing libertarian theories? Part III asks, what is the right way to think about property rights and the market? Part IV asks, how should we think about the state? Finally, part V asks, how well (or badly) can libertarianism deal with some of the major policy challenges of our day, such as immigration, trade, religion in politics, and paternalism in a free market. Among the Handbook's chapters are those from critics who write about what they believe libertarians get right as well as others from leading libertarian theorists who identify what they think libertarians get wrong. As a whole, the Handbook provides a comprehensive, clear-eyed look at what libertarianism has been and could be, and why it matters.

This introductory volume is devoted to Robert Nozick, one of the dominant philosophical thinkers of the current age. Nozick's famous book, Anarchy, State and Utopia (1974), presents the classic defense of the libertarian view that only a minimal state is just. He has made significant contributions to such areas as rational choice theory, ethics, epistemology and philosophy of mind. In addition to philosophers, the book will be of particular interest to professionals and students in political science, law, economics, sociology and psychology. David Schmidtz taught at Yale University and Bowling Green State University before joining the University of Arizona, where he is Professor of Philosophy and joint Professor of Economics. His previous books include Environmental Ethics (Oxford), Social Welfare and Individual Responsibility (Cambridge, 1998) and Rational Choice and Moral Agency (Princeton). He lives in Tucson, Arizona.

This introductory volume is devoted to Robert Nozick, one of the dominant philosophical thinkers of the current age. Nozick's famous book, Anarchy, State and Utopia (1974), presents the classic defense of the libertarian view that only a minimal state is just. He has made significant contributions to such areas as rational choice theory, ethics, epistemology and philosophy of mind. In addition to philosophers, the book will be of particular interest to professionals and students in political science, law, economics, sociology and psychology. David Schmidtz taught at Yale University and Bowling Green State University before joining the University of Arizona, where he is Professor of Philosophy and joint Professor of Economics. His previous books include Environmental Ethics (Oxford), Social Welfare and Individual Responsibility (Cambridge, 1998) and Rational Choice and Moral Agency (Princeton). He lives in Tucson, Arizona.

Is moral philosophy more foundational than political theory? It is often assumed to be. David Schmidtz argues that the reverse is true: the question of how to live in a community is more fundamental than questions about how to live. This book questions whether we are getting to the foundations of human morality when we ignore contingent features of communities in which political animals live. Schmidtz disputes the idea that reflection on how to live needs to begin with timeless axioms. Rather, theorizing about how to live together should take its cue from contemporary moral philosophy's attempts to go beyond formal theory, and ask which principles have a history of demonstrably being organizing principles of actual thriving communities at their best. Ideals emerging from such research should be a distillation of social scientific insight from observable histories of successful community building. What emerges from ongoing testing in the crucible of life experience will be path-dependent in detail even if not in general outline, partly because any way of life is a response to challenges that are themselves contingent, path dependent, and in flux. Building on this view, Schmidtz argues that justice evolved as a device for grounding peace in the mutual recognition that everyone has their own life to live, and everyone has the right and the responsibility to decide for themselves what to want. Justice, he says, evolved as a device for conveying our mutual intention not to be in each other's way, and beyond that, our mutual intention to build places for ourselves as contributors to a community. Any understanding of justice should thus rely not on untestable intuitions but should instead be grounded in observable fact.

What is justice? Questions of justice are questions about what people are due. However, what that means in practice depends on the context in which the question is raised. Depending on context, the formal question of what people are due is answered by principles of desert, reciprocity, equality, or need. Justice, therefore, is a constellation of elements that exhibit a degree of integration and unity. Nonetheless, the integrity of justice is limited, in a way that is akin to the integrity of a neighborhood rather than that of a building. A theory of justice offers individuals a map of that neighborhood, within which they can explore just what elements amount to justice.

The issue of social welfare and individual responsibility has become a topic of international public debate in recent years as politicians around the world now question the legitimacy of state-funded welfare programs. David Schmidtz and Robert Goodin debate the ethical merits of individual versus collective responsibility for welfare. David Schmidtz argues that social welfare policy should prepare people for responsible adulthood rather than try to make that unnecessary. Robert Goodin argues against the individualization of welfare policy and expounds the virtues of collective responsibility.

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.

Libertarians often bill their theory as an alternative to both the traditional Left and Right. The Routledge Handbook of Libertarianism helps readers fully examine this alternative without preaching it to them, exploring the contours of libertarian (sometimes also called classical liberal) thinking on justice, institutions, interpersonal ethics, government, and political economy. The 31 chapters--all written specifically for this volume--are organized into five parts. Part I asks, what should libertarianism learn from other theories of justice, and what should defenders of other theories of justice learn from libertarianism? Part II asks, what are some of the deepest problems facing libertarian theories? Part III asks, what is the right way to think about property rights and the market? Part IV asks, how should we think about the state? Finally, part V asks, how well (or badly) can libertarianism deal with some of the major policy challenges of our day, such as immigration, trade, religion in politics, and paternalism in a free market. Among the Handbook's chapters are those from critics who write about what they believe libertarians get right as well as others from leading libertarian theorists who identify what they think libertarians get wrong. As a whole, the Handbook provides a comprehensive, clear-eyed look at what libertarianism has been and could be, and why it matters.

Die Schriften des Neuen Testaments geben Zeugnis von unterschiedlichen Konflikten und Krisen unter den frühen christusgläubigen Gemeinden sowie Versuchen, diese zu bewältigen. Man ringt um Fragen der rechten Lehre und des rechten Verhaltens; Auseinandersetzungen erfolgen gegenüber der Umwelt nach außen oder gegenüber anderen gläubigen Gruppierungen nach innen. In den Briefen werden diese Konflikte oft direkt ausgetragen und konkrete Konsequenzen der Jesusnachfolge gefordert, in den Erzähltexten der Evangelien und der Apostelgeschichte werden die Auseinandersetzungen häufig stärker in die Interaktion der Erzählfiguren untereinander eingespielt. Im vorliegenden Band werden aus einer Vielzahl der neutestamentlichen Schriften exemplarische Konflikte und Krisen sowie Bewältigungsstrategien thematisiert und mittels verschiedener methodischer Herangehensweisen analysiert.

"Creating Wealth: Ethical and Economic Perspectives" is a collection of classic and contemporary economic and philosophical readings that explore these questions: How do agents in the marketplace manage to cooperate? When does such cooperation make the world a better place? What do agents in the marketplace need to do in order to succeed? What do they need to do to deserve to succeed? This text includes an introduction by the author, David Schmidtz, which gives readers a nontechnical overview of an ethical framework for evaluating both market behavior and market institutions. This is an ideal reader for classes in political philosophy, business ethics, ethics and economics, or contemporary moral problems. The readings selected for "Creating Wealth" are organized in seven topical chapters:
Cooperation and Division of LaborTrust and TradeResponsibility and ExternalitiesMutual Respect and ExploitationSelf-Respect and AlienationOrder and IncentivesEquality and Mutual Advantage
David Schmidtz is Kendrick Professor of Philosophy, Joint Professor of Economics, and founding Director of the Center for Philosophy of Freedom at the University of Arizona, which is ranked as tied for first in the world (along with Harvard and New York University) in the field of political philosophy by the most recent edition of the Philosophical Gourmet. David is author of Rational Choice and Moral Agency (Princeton), Elements of Justice (Cambridge), Person, Polis, Planet (Oxford), and co-author with Jason Brennan of A Brief History of Liberty (Blackwell). He also serves on the board of BASIS High School in Tucson, and collaborates with the Office for Economic Education at the Norton School of Family and Consumer Science at the University of Arizona to offer a Master's Degree for high school economics teachers.

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

This volume contains the 28 papers presented at ESOP 2004, the 13th European Symposium on Programming, which took place in Barcelona, Spain, March 29- 31, 2004. The ESOP series began in 1986 with the goal of bridging the gap between theory and practice, and the conferences continue to be devoted to explaining fundamental issues in the speci?cation, analysis, and implementation of programming languages and systems. The volume begins with a summary of an invited contribution by Peter O'Hearn, titledResources, ConcurrencyandLocalReasoning, andcontinueswith the 27 papers selected by the Program Committee from 118 submissions. Each submission was reviewed by at least three referees, and papers were selected during a ten-day electronic discussion phase. I would like to sincerely thank the members of the Program Committee, as well as their subreferees, for their diligent work; Torben Amtoft, for helping me collect the papers for the proceedings; and Tiziana Margaria, Bernhard Ste?en, and their colleagues at MetaFrame, for the use of their conference management software.

By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself.The 20 reviewed research papers presented together with a brief survey of the work of Neil D. Jones were written by scientists who have worked with him, in the roles of student, colleague, and, in one case, mentor. In accordance with the Festschrift's subtitle, the papers are organized in parts on computational complexity, program analysis, and program transformation.

This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the semantics. The semantics is basically denotation. The mathematics may be classified as category theory, lattice theory, or logic. Recent conferences and workshops have increasingly emphasized applications of the semantics and mathematics. The study of the semantics develops with the mathematics and the mathematics is inspired by the applications in semantics. The volume presents current research in denotational semantics and applications of category theory, logic, and lattice theory to semantics.

This volume contains the proceedings of the Seventh International Conferenceon the Mathematical Foundations of Programming Semantics, held at Carnegie Mellon University, March 1991. The conference continued a series of annual meetings, alternating between workshop and conference formats, intended to bring together computer scientists and mathematicians for discussion of research problems, results and directions in programming language semantics and related areas. A major goalof the series is to improve communication and interaction between researchers in these areas and to establish ties between related areas of research. The volume contains revised and refereed versions of each of the contributed papers and refereed papers by three invited speakers: Jon Barwise, John Reynolds, and Mitchell Wand.

This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. The 1st Workshop was at Kansas State University, Manhattan, Kansas in April, 1985 (see LNCS 239), and the 2nd Workshop with a limited number of participants was at Kansas State in April, 1986. It was the intention of the organizers that the 3rd Workshop survey as many areas of the Mathematical Foundations of Programming Language Semantics as reasonably possible. The Workshop attracted 49 submitted papers, from which 28 papers were chosen for presentation. The papers ranged in subject from category theory and Lambda-calculus to the structure theory of domains and power domains, to implementation issues surrounding semantics.

David Schmidt uberpruft, ob der molekulare Schaltmechanismus, der kurzlich in Connexin 26 als rotameres Glu47 mit Fixierung an Lys188 identifiziert wurde, uber Aminosaurenaustauschexperimente auf den Kaliumkanal KcsA ubertragen werden kann. Die Untersuchung struktureller und funktioneller Einflusse der Punktmutationen erfolgte mittels unterschiedlicher Methoden, darunter die Analyse des Schmelzverhaltens mittels SDS-Gel und spektroskopischer Methoden wie der konfokalen Raman-Mikroskopie oder der Microarray-Technologie. Transporteigenschaften von KcsA und Connexin 26 konnten zudem mittels eines Liposom-Transportassays in Abhangigkeit des pH-Wertes sowie dem Vorhandensein von Inhibitoren untersucht werden.